منابع مشابه
Recursive Types in Kleisli Categories
We show that an enriched version of Freyd's principle of versality holds in the Kleisli category of a commutative strong monad with xed-point object. This gives a general categorical setting in which it is possible to model recursive types involving the usual datatype constructors.
متن کاملUnifying Recursive and Co-recursive Definitions in Sheaf Categories
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science in order to ensure convergency of circular definitions, such as (but not limited to) well-founded recursion and contractivity in complete ultra metric spaces. This general fixed-point theorem encompasses also a simila...
متن کاملTraced pre-monoidal categories
Motivated by some examples from functional programming, we propose a generalisation of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that, in a Freyd category, these notions are equivalent, generalising a well-known theorem of Hasegawa and Hyland.
متن کاملRibbon structure in symmetric pre-monoidal categories
Let U(g) denote the universal enveloping algebra of a Lie algebra g. We show the existence of a ribbon algebra structure in a particular deformation of U(g) which leads to a symmetric pre-monoidal category of U(g)-modules.
متن کاملPre-lie Algebras and Incidence Categories of Colored Rooted Trees
The incidence category CF of a family F of colored posets closed under disjoint unions and the operation of taking convex sub-posets was introduced by the author in [12], where the Ringel-Hall algebra HF of CF was also defined. We show that if the Hasse diagrams underlying F are rooted trees, then the subspace nF of primitive elements of HF carries a pre-Lie structure, defined over Z, and with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1982
ISSN: 0022-4049
DOI: 10.1016/0022-4049(82)90060-3